A Unifying Framework for Correct Program Construction
نویسندگان
چکیده
We present a description technique for the correct construction of programs that allows us to deene terms like reenement, model-checking, and synthesis as special operations within this framework. From that meta-view on program constructions both advantages and disadvantages of all methods mentioned become clear. Furthermore, it becomes clear that an incremental program construction seems to be the most suitable method to construct programs. To demonstrate this incremental construction method we present a real-time case study.
منابع مشابه
The Way Forward for Unifying Dynamic Test Case Generation: The Optimisation-Based Approach
One of the major costs in a software project is the construction of test-data. This paper outlines a generalised test-case data generation framework based on optimisation techniques. This framework can incorporate a number of testing criteria unifying both functional and non-function testing. Application of the optimisation based approach are given for worst-case execution time, specification c...
متن کاملReal-Time Building Information Modeling (BIM) Synchronization Using Radio Frequency Identification Technology and Cloud Computing System
The online observation of a construction site and processes bears significant advantage to all business sector. BIM is the combination of a 3D model of the project and a project-planning program which improves the project planning model by up to 6D (Adding Time, Cost and Material Information dimensions to the model). RFID technology is an appropriate information synchronization tool between the...
متن کاملThe Squeeze Method: A Method for Program Construction in the Equivalent Transformation Computation Model
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and computation consists in successive reduction of problems by rule application. As long as meaning-preserving rewriting rules, called ET rules, with respect to given background knowledge are used, correct computation res...
متن کاملNon-Deterministic Games and Program Analysis: An Application to Security
We present a unifying framework for using game semantics as a basis for program analysis. Also, we present a case study of the techniques. The unifying framework presents games-based program analysis as an abstract interpretation of an appropriate games category in the category of non-deterministic games. The case study concerns an application to security.
متن کاملBlock meshes: Topologically robust shape modeling with graphs embedded on 3-manifolds
We present a unifying framework to represent all topologically distinct shapes in 3D, from solids to surfaces and curves. This framework can be used to build a universal and modular system for the visualization, design, and construction of shapes, amenable to a broad range of science, engineering, architecture, and design applications. Our unifying framework uses 3-space immersions of higher-di...
متن کامل